ФОРМАЛИЗМ


ФОРМАЛИЗМ
— направление в философии математики, основателем которого явился Д. Гильберт. Главные усилия формалистов были направлены на решение проблемы обоснования математики, доказательство ее непротиворечивости. Их не устраивали философские взгляды на сущность математики ни логицистов, ни интуиционистов. Они исходили из того, что старая, классическая математика является добротной, истинной и непротиворечивой наукой. Возражая интуиционистам, Гильберт восклицал: «Отнять у математиков закон исключенного третьего — это все равно, что запретить боксерам пользоваться кулаками». Однако для того, чтобы исключить вес сомнения в добротности классической математики, все ее основные теории (эвклидову геометрию и арифметику натуральных чисел в первую очередь) необходимо было полностью формализовать, то есть представить (отобразить) в виде формальных, синтаксических систем, а затем доказать чисто финитными средствами логическую непротиворечивость, полноту (относительно их содержательных моделей) и независимость аксиом этих формальных систем. При формальном отображении любой содержательной математической системы мы должны полностью отвлечься от содержательной интерпретации ее собственных и логических терминов, представить ее в виде чисто синтаксической конструкции и только тогда мы увидим ее принципиальную математическую сущность, все ее необходимые и достаточные основания. Сам Д. Гильберт формализовал содержательную часть эвклидовой геометрии и в результате показал недостаточность аксиоматической базы классической эвклидовой геометрии. Однако, первые же серьезные попытки полной формализации самой простой из математических теорий — арифметики натуральных чисел — принесли формалистам разочарование. К. Гедель, попытавшийся решить проблему обоснования арифметики в рамках программы формализма, пришел в итоге к противоположному результату — доказательству невозможности ее реализации. Он доказал невозможность полной формализации содержательной арифметики натуральных чисел в рамках одной формальной системы, а также невозможность доказательства ее непротиворечивости средствами самой формальной системы. Доказательство абсолютной непротиворечивости математики оказалось в принципе невозможным. Результаты, полученные Геделем, имеют огромное философ-скос значение. Однако невозможность реализации программы формализма в полном объеме не отменяет огромной ценности самой формализации математического знания. (См. форма, философия математики).


Философия науки: Словарь основных терминов. — М.: Академический Проект. . 2004.

Синонимы:

Антонимы:

Смотреть что такое "ФОРМАЛИЗМ" в других словарях:

  • ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …   Философская энциклопедия

  • ФОРМАЛИЗМ — [< лат. forma вид, образ, изображение] 1) соблюдение внешней формы в ущерб сути дела; 2) противопоставляющее себя актуальным задачам общественной жизни направление в эстетике, искусстве, литературе и т. п., придающее главное значение форме в… …   Словарь иностранных слов русского языка

  • формализм — а, м. formalisme m., нем. Formalismus <лат. 1. Преобладание внешней формы, правил в каком л. деле; формальное отношение к чему л. БАС 1. Тяжелый формализм, военная вытяжка (руки по швам! ) и гражданское подобострастие в одежде, наружности и… …   Исторический словарь галлицизмов русского языка

  • ФОРМАЛИЗМ — ФОРМАЛИЗМ, формализма, мн. нет, муж. 1. Приверженность к соблюдению внешних формальностей в ущерб существу дела, строго формальное отношение к чему нибудь. Бюрократический формализм. Излишний формализм в работе. 2. Направление (в искусстве, в… …   Толковый словарь Ушакова

  • формализм — абстракция; педантизм, казенщина, официальность, забюрократизированность, канцелярщина, формалистика, педантичность, педантство, формальность, буквоедство, ригоризм Словарь русских синонимов. формализм буквоедство (разг.) см. также педантизм… …   Словарь синонимов

  • Формализм — Государство * Армия * Война * Выборы * Демократия * Завоевание * Закон * Политика * Преступление * Приказ * Революция * Свобода * Флот Власть * Администрация * Аристокр …   Сводная энциклопедия афоризмов

  • Формализм —  Формализм  ♦ Formalisme    Суждение не о материальном или чувственном содержании чего либо, а о его форме. Так, в формальной логике и в математике рассуждают об «иксах» и «игреках», входящих в знаковую систему, подчиняющуюся собственной… …   Философский словарь Спонвиля

  • ФОРМАЛИЗМ — 1) предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в прекло …   Большой Энциклопедический словарь

  • ФОРМАЛИЗМ — ФОРМАЛИЗМ, а, муж. 1. Соблюдение внешней формы в чём н. в ущерб существу дела. Бюрократический ф. 2. В искусстве, эстетике и других гуманитарных науках: общее название направлений, придающих первенствующее значение форме, внешнему выражению. Ф. в …   Толковый словарь Ожегова

  • ФОРМАЛИЗМ — англ. formalism; нем. Formalismus. 1. Соблюдение внешней формы в ущерб существу дела. 2. В философии свойственный различным видам идеализма отрыв формы от содержания. 3. Искусствоведческое направление в XIX XX вв., претендующее на раскрытие… …   Энциклопедия социологии

  • Формализм — предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в… …   Политология. Словарь.

Книги

Другие книги по запросу «ФОРМАЛИЗМ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.